Labels:text | screenshot | parallel | font | rectangle | document | number | line OCR: Output Interface: Display Unit Interface) Channel: Display-channel Trigger:Send;Traffic-Event[i]. Max Separation 1.2 seconds Min Separation. 0 8 seconds Handler 1 Condition For all jin (1 ..: 30}; T Traffic-Display-Statusill in state Waiting To Send Traffic Display-Statusij] in state Waiting To Send F Traffic Score(Other .Aircraft[il) 2 Traffic-Score(Other-Aircraft[i]) Other-Aircraft[i] in state Threat T. T Advisory Code[i] = Resolution-Advisory T T Action: SEND (Advisory)- Code[i]) Handler-2 Condition:Exists at least one ['in (1. .: 30): OR T T F F SONY Traffic-Display-Status[i] in state Waiting-To-Send F T T Traffic-Display-Statusijl in state Waiting-To-Send F T Traffic-Score(Other-Aircraft[i]) > Traffic-Score(Other-Aircraft(il) F Other-Aircraft[i] in state Threat F T Advisory-Code[i] = Resolution-Advisory T Action: Nonie Handler 3 Condition: Other-Aircraft[i] in state Threat Advisory-Code[i] = Resolution-Advisory AND Action: Assertion Violation Event: Figure 7. Modified definition of the communication with the pilot's display. This description is completo, consistent, and onfortes the constraint in Figure f.
(2000).iso/ieeec/841/heimf107.gif){kind=small}
(2000).iso/ieeec/841/heimf106.gif){kind=link}
(2000).iso/ieeec/841/khost104.gif){kind=link}